First-order temporal logic
[计] 一组时态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
temporal
['tɛmpərəl]
adj. 时间的;世俗的;暂存的;<语>表示时间的;
n. 暂存的事物，世间的事物;世俗的权力;一时的事物，俗事;
tempor时间+al形容词后缀→ 现世的；暂时的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
It won't be the same, but what do you say?
那就不一样了， 但你说呢？
I haven't the least idea.
我一点儿也不知道。
Could any spectacle, for instance, be more grimly whimsical than that of gunners ourselves very seriously what will happen if this twofold use of knowledge, with its ever-increasing power, continues.
炮兵利用科学毁坏人的身体、而外科医生就在附近用科学抢救被炮兵毁坏的人体，还有什么情景比这更可怕、更怪诞的吗？我们不得不严肃地问问我们自己：随着日益增长的知识的力量，如果我们继续利用知识的这种双重性，将会发生什么样的情况呢？